Free University of Bozen-Bolzano - PDFSEARCH.IO - Document Search Engine

Free University of Bozen-Bolzano
Results: 124

#	Item
121	A Proof Theory for DL-Lite? Diego Calvanese, Evgeny Kharlamov, Werner Nutt Faculty of Computer Science, Free University of Bozen-Bolzano, Italy {calvanese,kharlamov,nutt}@inf.unibz.it Abstract. In this work we propose a Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Propositional calculus Deduction Rules of inference Formal methods Lambda calculus Valuation Symbol Entailment Resolution Logic Mathematics Mathematical logic
122	Prospects for and issues with mapping the Object-Role Modeling language into DLRifd C. Maria Keet Faculty of Computer Science, Free University of Bozen-Bolzano, Italy [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Software engineering Object-Role Modeling NORMA Description logic Data model ECO Unified Modeling Language Entity-relationship model Diagram Data modeling Science Data management
123	   Designed and printed by University Printing Services, University Press, Cambridge. www.cambridge.org/ups Add to Reading List Source URL: www.lib.cam.ac.uk Language: English - Date: 2012-10-12 03:05:06 Education Cambridge University Library Knowledge British Library Library Digital library Library of the Free University of Bozen-Bolzano University of Michigan Library Research libraries Library science Academia
124	Bild: R. Feiner Graubünden forscht 2014 Add to Reading List Source URL: www.academiaraetica.ch Language: English - Date: 2014-01-09 07:54:24 Postdoctoral research Abstract management Poster session Free University of Bozen-Bolzano Abstract Knowledge Education Academia

UPDATE